Pouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario
نویسنده
چکیده
The formal statements of the lemmas in this appendix, like the axioms in the main text of the paper, are (intended to be) written in a style that could be given directly to an automated theorem checker, after some straightfoward syntactic desugaring. In the text of the proofs here, by contrast, I have followed the (God knows, rigid enough) comparatively informal style of normal mathematical writing. In particular:
منابع مشابه
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order langua...
متن کاملProbabilistic Simulation Predicts Human Performance on Viscous Fluid-Pouring Problem
The physical behavior of moving fluids is highly complex, yet people are able to interact with them in their everyday lives with relative ease. To investigate how humans achieve this remarkable ability, the present study extended the classical water-pouring problem (Schwartz & Black, 1999) to examine how humans take into consideration physical properties of fluids (e.g., viscosity) and perceptu...
متن کاملAdaptable Pouring: Teaching Robots Not to Spill using Fast but Approximate Fluid Simulation
Humans manipulate fluids intuitively using approximations of the underlying physical laws. In this paper, we explore a general methodology that robots may use to develop and improve strategies for overcoming manipulation tasks associated with appropriately defined loss functions. We focus on the specific task of pouring a liquid from a container (pourer) to another container (receiver) while mi...
متن کاملMid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking
All true believers shall break their eggs at the convenient end: and which is the convenient end, seems, in my humble opinion, to be left to every man's conscience, or at least in the power of the chief magistrate to determine. Abstract We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a b...
متن کاملEvaluation of a two-step pouring technique for implant-supported prostheses impression.
The aim of this study was to evaluate the efficacy of a pouring technique for implant-supported prostheses impressions. A metallic matrix (control group) with two implants positioned at 90 and 65 degrees was fabricated. The matrix was submitted to the direct transfer impression technique. In group CP (conventional pouring - n = 10), casts were obtained by the conventional pouring technique. In ...
متن کامل